针对智能合约对安全性方面的相关性质的极高要求,有必要改进已有的建模算法,提出将智能合约函数的函数体语句建模为DTMC的算法,并......

Web服务组合可以通过整合网络上现有的多种异构服务从而形成新的服务。针对服务组合中的可靠性和相关性能评估问题，提出了一种基于......

柳树发芽、桃树开花，近几日北京气温飙升，就连一向十分怕冷的小编也脱下了厚厚的冬衣，张罗着四方好友一起去春游、踏青的事。......

In recent times, computer based systems are frequently used for protection and control in the various industries viz Nuc......

在嵌入式软件开发早期,为其建立可靠性模型能够尽早发现软件设计中存在的问题,从而节约嵌入式软件开发成本。AADL从软件结构和故障......

目前,嵌入式系统在航空、航天、医疗等安全关键领域的应用日益广泛,安全关键领域对嵌入式系统的可靠性需求远远高于一般领域,且要......